perm filename CMSS9.360[360,GF]4 blob
sn#866833 filedate 1988-12-16 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β@↔&"p_MG#~M&∀ GβQp∂βE(β∃ e ↓@ E ↓@@5 ↓@@5_α@E_↓@`E_↓A5⊂α↓E⊂↓A E⊂↓A@5λα↓@Eλ↓A`EααEααE↓B Dxαα@Dxαα@Dx ∪BDp
∪ @hαS @pα∪ @pα∪Aα∪Aα∪1λα∩`A⊂α∩`A⊂α∩@A_αQ(D⊂εcapβI!λ%∧I ∧AI ¬A) ε↓ εA πi πi εA ε@i ε↓ ¬↓)!⊂%∧ !λ%↓p@%↓↓0(%↓↓@(%↓↓P %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓P %↓↓@(%↓↓ 0%∧i!λ%βhT !Ec"∂B`u⊂εT!uαA`Dxαα`$pα∪ D`αSDXα∩`DXα∩@DPα∩@DPα∩@DPα∩@DPα∩@DXα∩`DXα∪D`αS Dpα∪`@`↓∀P@α∀"¬⊂εU!∧("⊃β↓h∂π@p%∧)!⊂%↓↓⊂0%↓↓0(%↓↓@(%↓↓P(%↓↓` %↓↓p %↓↓p %↓↓p %↓α %↓α %↓α %↓α %↓α %↓α %↓α %↓α %↓α %↓↓p %↓↓p %↓↓p %↓↓` %↓↓P(%↓↓@(%↓↓0(%↓↓⊂0%∧I!λ%βHT "Eβ⊃p∂α4P RB4Pα∩@DPα∩@DPα∩@DPα∩@DPα∩@DP ∩B$P ∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩BDP
∩BD("⊃B!8∂π@↓⊂%∧I!⊂%↓ %↓ %↓ %↓ %↓ %↓ !%∧ !%↓ %↓ %↓ %↓ %↓ %↓ %↓ "Qλq@
HβpX∧∀aUλλT`8αS`PX↓S@Dhα∪T`α∩`DXα∩`DPα∩@DPα∩@DPα∩@DPααa∀Pααa∀Pααa∀Xαβ`DXαβ`DXαβ`D`αβ@D`αC Dhαβ DpαβDxαB@Eβ↓`UλλTaU(∧⊃(D@εcap↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %¬I!0%¬I π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓λT $A↓↓p∂DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@D("∩Aqλ∂GA0 *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P %A %``(%β)0X'↓HT %FβQp∂@pαR@@hαR@@`αR@@XαR@@PαR@@HαR@@@αR@@8αR@@8α∩@@0α∩@@(αR@@ αR@@_αR@@⊂βR@@λ∧∩A⊂λα∩A⊂αR@p α∩@`0α∩@P8αR@P@α∩@@Pα∩@@PαR@@Xα∩@@`α∩@@`α∩@@hα∩@@hαR@@pα∩@@xα∩@@xαQ(D`λECap↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %∧)!λ%∧(T &G$!p∂Q⊂β∩@aβR@aβR@@λD λα∩@@λ↓β@0λα∩@@λ↓β@0λα∩@@λ↓β@0λα∩@@⊂↓β0⊂α∩@@⊂↓β0⊂α∩@@⊂↓β0⊂α∩@@⊂↓B@@⊂α∩@@⊂↓B@@⊂α∩@@_↓α@0_α∩@@_↓B@_α∩@@_↓B@_α∩@@ ↓α0 α∩@@ ↓A@@ α∩@@ ↓A@@ α∩@@(↓↓@0(α∩@@(↓A@(α∩@@(↓A@(α∩@@0↓↓00α∩@@0↓@@@0α∩@@0↓@@@0α∩@@8↓@08α∩@@8↓@08α∩@@8↓@08α∩@@@αBDPααP@α∩@@@αBDPα¬ D("∪BaX∂π@0ε↓ 8¬A 8¬A @a %↓⊂_¬↓ @a %↓ _∧A ↓a⊂ %↓ ∧↓ ↓@a %↓0 βA α`p %↓@ β↓ α↓` %↓P_β↓ αAP %↓`_αA β↓@ %↓` α↓ β@`@ %↓p ↓A ∧`0 %↓↓ ↓↓ ∧@` %↓↓⊂_↓↓ ¬`⊂ %↓↓ _A ¬`⊂ %↓↓08%↓↓08%↓↓@0"Q qX∂λβpPβTA5πS``(β∪@PHαS PXαS @hα∪@xα∪@xα∩`Aλα∩`Aλα∩`Aλα∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩`Aλα∩`Aλα∩`Aλα∪@xα∪@xα∪ @hα∪ PXαS@PHαS``(β∀↓u⊂¬Ut("∀αAH∂π@p%∧ !λ%↓↓⊂(%↓↓ (%↓↓0 %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓0 %↓↓ (%↓↓⊂(%∧)!%βI %↓ %↓ %↓ %↓ %↓ %↓ "Q
⊃X∂ #pPβTA5πS``(β∪@PHαS PXαS @hα∪@xα∪@xα∩`Aλα∩`Aλα∩`Aλα∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩`Aλα∩`Aλα∩`@8α↓@D`α↓@P α∪@8α↓Dhα↓`@⊂α∪ P0¬∪@P0∧∪``(β∀↓u⊂εUpλα↔UhαW@EpαW`T("∀Bq`∂π@p%∧ !⊂%↓↓⊂0%↓↓0(%↓↓@ %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓@ %↓↓0(%↓↓⊂0%∧I!%βI βA βA ∧↓ ∧A ∧A ¬↓ ¬↓ ¬A ε↓ ε↓ εA εA π↓ πAλT )Eαb∂Aa∧xεSAthαA@T`αα@4`α∩`DXα∩`DXα∩`DXαSThβ∪!$p¬T↓5_∧U`U@αV EPα⊗@EPα⊗@EPα⊗@4P↓β DPαα@DPβA@TXλ∪!EβQ(E
πβapεI!P%εJP *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *AλT *E#!x∂@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩`@Xα∩`@Xα∩`PHαSP8αS P(αSATx¬T t("∃CAh∂π@
↓
↓ 0 ↓ 0 ↓ 0(λA @ λ↓ @ λ↓ P π↓ P π↓ P π↓ ` ε↓ ` ε↓ `(¬A p ¬↓ p ¬↓
∧↓
∧↓
∧↓
⊂ β↓
⊂ β↓
α@j α↓
α↓
0 ↓@j0 ↓↓
@_↓j@_↓j@ @jP0*AJP0"Q
rH∃πC`αβ `pα∩@@hβC DPαβ phα∩`@`βC 4Xαα`@λ↓CDXαα`@λαα`DXαα`0⊂αα`D`αα@0_↓B@D`αα @_αα D`αα @_αα Dhαα0 αα 4hα↓`@(↓BDhα↓`@(α↓`Dhα↓`00α↓`Dpα↓@08↓A`4pα↓ @8↓A@Dpα↓ @8α↓ Dx↓A 0@α↓ 4xα↓0H↓A 4xα`@H↓ADxα`0Pα`E↓@`0X↓@`5↓@`0X↓@`5α@0X↓@@Eλ↓@ 0`↓@@5λ↓@ 0h↓@ 5λ↓@ 0h↓@ 5λ↓@ 0h↓@ 5⊂αC@e⊂αC`U⊂αC`T("⊗βAh∂π@⊂ λA 0(πA @(εA)P(¬A)` ¬A p ∧A p(βA*(αA*⊂ αA
↓A
(A*0H*↓jP0+↓
P(*↓j@@)A⊂()↓0 (A @ (A` (↓p('A↓⊂('↓! '↓↓@ &A↓P(&↓!`(%A" %Aα %↓" ("Q⊃p∂πC`αETXαD@T`αD Dhα∧DhαC@TpαC DxαβDxαB@UαBUλααEλαA@U⊂αA E_α↓E_α@@E α@E(∧∃@e0β∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`D("⊗BaH∂π@↓(%¬)!(-↓⊂ ,↓+ +A*p +↓
P(*A
@()A*0 )↓* (A*((↓ p('A ` &A)P &↓)@ %A !0%¬I!0"Q⊃ ∧b0(β∪↓4XεR`08α∩`⊂HαU@E0α∃@E0α∪a4hεR``(α∩`@8α∩@@@α∩@@@α∩@@@α∩@P(β∩at`∧@ Dhβ`D("_B!(∂π@ %↓ %↓ %↓ %↓ %↓ %↓@(%↓⊂H%βi 0αA) (βA) ∧A ∧A) ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ∧A ∧A (βA) 0αA) x%↓⊂H%↓0("Q1 ∧b00β∪A$hε∪P(↓S@@R`DXα∩@DPα∩@DPα∩@DPα∩`DXα∪@HSP(α∪!Tp¬Td("→α! ∂πA` ,↓ ,↓ ,↓ ,↓ ,↓ (↓ 0 'α ⊂ &Ci@(αAI0(βA)0 ∧A 0 ∧A ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ (∧A 0 ∧A 0(βA)@(α↓iPPA `@↓↓ p(α↓λT 2D"!_ A@dp¬∪!D`αAT`α↓`4Xαα4X↓B@4PλRB∀PλR@DPα∩@DX↓R`D`αα ∀`αA@4hεSa%λβ⊃(F0πCcap∧AJ⊂@(α)p '@i` '↓ ` '↓ ` '↓ `%β `'↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓λT 3EαQh A@P(α∪B∧hλSP_αS@(α∩`@8α∩`@8α∩`@8α∩`@8α∩`@8α∪@(α∪P_αS!4`¬S ⊂αS$`↓S↓T`πS!t`λR`@Hβ∩@@`α∩@@`α∩@@`α∩@PPαR``0β∪α∧pε∀↓∧("~α⊃ ∂π@ %↓ %↓ %↓ %↓ %↓ %↓@0%↓ H%↓⊂X%↓`P %↓! %↓! %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ "Q
⊂ βGcpα∩@DPα∩@D8∧DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα⊃(FP¬B¬↓xβA
⊂ (A
⊂ #Bp (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ %@@ %αI H&↓HT 5DBQp∂DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPααTPα↓`TPα↓@TPα↓ TPα↓TPα`TPα@TPα TP¬∩A4Pε∩@`λαR@P_αR@@(αR@@(αR@@0αR@@8αR@@8αR@@@αR@@HαQ(F`α↓cap↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓λT 6GD⊃_ @@ β↓`dPαA⊂ ∧R@@λ¬@A4PβA @λ↓A DPαBP@α∩@P@αBDPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα D("≠B⊃ D` α↓I ↓α) Bi 8αA (∧↓ (∧↓ ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧AλT 7EαQ_ A`dx¬∪!d`β↓d`ααDXαα@DXαα@DPαβDPαβDPαβDPαβDPαβDPαβDXαα@DXαα@D`ααD`β↓dhπ∪a%λβ⊃(G ¬#A_↓@(%↓⊂H%βi 0αA) (βA) ∧A ∧A) ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ∧A ∧A (βA) 0αA) x%↓⊂H%↓0(%↓ %↓ %↓ %↓ %↓λT 8DBA` A@P_α∪A⊂λα∪!t`αA dXαA`TXααTXαα DPαα@DPαα@DPαα@DPαα@DPαα@DPαα@DPαB DXαα DXαA`T`αA dhπSA⊂α∪`P α⊗E@α⊗E@α⊗E@α⊗E@α⊗D("≤A0p D` αi ↓↓) AI @%↓I 0%↓) (%↓ %↓ %↓ %↓ %↓ %↓ "Q∞0xλ∧b0(∧∪!D`εR`P0↓R`DXα∩`DXβ∪↓∀h¬∪A%λβUU(α∃ DP↓α DPα↓@DPπ∩aDpβQ(G εCC⊃H↓A P &A P &A P %β) h%β)P &A P &A P &A P &A P &A P &A P &A@λ'α)`H'AHT :D"A_ @@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@@αR@@8β∩B∀X¬@ D`βAD("≥B!_ D` ¬↓ ¬↓ 0 ∧@i0 ∧↓ 0 ∧↓ @ β↓ @ β↓ @ β↓ P α@iP α↓ P α↓ ` ↓@i` ↓↓ ` ↓↓ p_↓ip_↓ip @j0(↓J⊂ "Q∞q`∞Db0α↓`P@α∩@@8αBDPα↓``8α∩`@0↓ 00α∩`@(↓@ 00α∩`@(↓@ @(α∩`@(↓@@0(α∪@ ↓`0 α∪@_↓@`0 α∪@_↓@`@_α∪ 0_↓A0_↓S @⊂↓↓ 0⊂α∪ @⊂↓↓ 0⊂α∪ @λ↓A 0⊂α∪@0λ↓A@0λ↓S@0λ↓↓`0λ↓S@0λ↓↓`0λ↓S`P8β∪`P@αS`@HαQ(G@
¬α1_A↓ %A! &↓ ` &AP '↓@ 'A (α
8(AJ (A*⊂0(`⊂ 'A '↓@ '`P &A` &↓↓ %A↓ %↓! ("Q∂⊃⊂ Gα0αα@DPαα@DXααDXααDXαA`D`α↓@D`α↓@Dhα↓ Dhα↓Dp↓ADpα`4pα`4x↓@@Dxα 5↓@ 5↓@ 5↓@ %λαT U⊂↓T@5λ↓T 5λ↓T5↓R`tXβ∩`T("≡B↓λ D`⊂x%Ci0x*↓*@ )A
()↓
⊂ (↓)p('A ` &A)P &↓ 0(%∧ !%∧λT ∧"ap∂α∀PλRB∀Pα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@D("$∩_∂πA`(,↓*p8+@`⊂_+↓⊂ +` *A0 *@`@ *↓P *↓P )A`()Ap )↓↓()↓↓⊂ )a (A↓0 (A↓0 (↓↓@((↓↓P 'A↓`('A↓p '↓α('↓α⊂ &Aα (&Aα0 &↓α@(&↓αP &π)1x%Gi"λ"Q!h⊂λβpXβTAUλπT`(β∪`PHαS@@hα∪ @xα∪PxαSAλα∩`A_α∩`A_α∩`A_α∩@A(α∩@A(α∩@@ εADPα↓↓P α∩@@ εADPα↓↓P α∩@A(α∩@A(α∩@A(α∩`A_α∩`A_α∩`A_α∪Aλα∪PxαS @xα∪@@hα∪`PHαT`(β∀!u⊂εU t("c⊃P∂πA (*↓*08)@`⊂_)@`⊂_)@`⊂_)` )` )`0_(A0 (@`@ (@`@ (↓P (↓P (`` 'Ap 'Ap '@a '↓↓⊂ '↓↓⊂ 'a &A↓ (&A↓0 &@a@ &↓↓@(&↓↓P &a` %A↓`(%A↓p %A↓p %↓α("QAP∞πC`
∩C$P
⊃a _
∪"Dh
⊃a@
∩C$P
⊃(@(εcap¬I!0%¬I π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓ π↓λT βεCQp∂β$P
∩C$PαR`T`αS TpαS@TxαTUλαT e⊂αT`U αT`U_αT@UλαT UαTDxαS@Tpα∪ T`αSβ∧XRC$("↓cR∂G`P(∧A)PHβα @PαBI0(α`0 ↓A)0 β` _αA ∧@ ⊂βA ∧@⊂_βA
`0+A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p "Q↓↓P∞GC`Xα∃ E(α∃ E(α∀a¬π∪b∧hβ@@⊂β∪P α↓T`α↓ @(α∩`@0α↓@DXα↓@@0α∩@@8α↓`DPα↓`@8α∩@@8α↓`DPα↓`@8α∩@@8α↓`DXα↓@@0α∩`@0α↓@D`α↓ @(α∪P α↓Thβ@@⊂β∪b¬π∀a¬(α∃ E(α∃ E(α⊃(@H∞HβapεA
p +A (∧↓p(%↓@p β↓I 0βA`0%A@` αAI@(β↓P(&A` αA P β↓P &A` αA P β↓P &A` αA P β↓P &A` αA P β↓P &A` αA ` αA@ '↓P α↓ `(α↓@ 'A@ ↓A p(↓A ((↓@⊂P(Cj0`*Ajp +A
p +A
p "Q↓!`∂πcpP∧∀AEλ∪``0β∪@PPαS @pα∪PpαSAα∩`A⊂α∩`A⊂α∩`A⊂α∩`A⊂α∩`A⊂α∩`A⊂α∩`A⊂α∪Aα∪Aα∪Aα∪ @pα∪ @pα∪@0p↓S@@`α∪`0`↓S`@Pα∀0P↓T@@α∀ 0@↓T 0@↓T@00↓RA00¬RA00¬RA00¬Q(C ¬βahβ↓I`P&C P α↓ @ β↓ @_∧i0 ∧↓ 0 ∧↓ 0_¬i ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ 0_¬i0 ∧↓ 0 ∧↓ 0 ∧↓ @ β↓ P α↓ P`'αJ0"Qε⊂x G#P@↓∀ 4pβ∩A$P¬∩@@⊂α∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀DPπRAtPπQ(C⊂ ¬βQhαAi`P&C @_αAI0_∧↓)0⊂¬↓ _¬↓ _¬A 0λε↓ 0λε↓ ,↓ +A
p +↓
P *↓
0 )↓
⊂ (↓ p 'iP_&i0_%∧I!⊂%∧HT →DBAp∞A@dp¬∪!D`α↓ TXα↓`D`↓α D`B@E8α∃`E8α∃@E0α∃U∧∀u∧∃ E8↓U`E@α⊗E@α⊗E@α∩@⊂hα∩@ Xα∩@0Pα∩`P(αS↓Th¬Td("
αA(∞π↓ (*↓*0λA
0λA
⊂A
⊂_A
⊂⊂↓↓
_↓↓
_↓↓ p ↓↓ p_↓A ` ↓A `_α↓ P α↓ @ αA @ αA 0 β↓ 0 β↓ βA ! %¬ ! *A
P *A
P *A
P *AλT ~DBAh∞!tXπRatXα∩`DXα∩`DXα∩`DXα∩`@⊂αRaTXπ∩`p α∩`P8α∩`P8α∩`@H↓VE@α⊗E@α⊗E@α∩`⊂Xα∩` Pα∩@@@α∩`P(αS↓Th¬∪`d("
B! ∂π!⊂((B pP'↓ Pλ'↓ P &↓ @ %A 0 %@`@(%↓ @%↓⊂P%↓`@(%↓@`(%↓! %↓!⊂ %↓↓ %↓↓ %↓↓ %↓↓ %↓↓ %@a %A↓⊂ %A↓ &a &↓` &A@('αipH(A(T ≠DBA`∞α$P ∩B%H↓V58↓U@E0↓U 5 α∃5_α∀`5⊂α∀@Eλα∀ Eλα∀Eα∀Eα∀Dxα∪`Dxα∪`Dxα∪`D("∞α! ∂π `0'αIP`&↓ @(&↓` %A↓ %A↓ %A↓ %A↓ %A↓ &a_&↓` &A@ 'αIp@'αI@(α↓)0 ∧↓ 0 ∧↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ 0 ∧↓ 0 ∧↓ @(α↓)P`'αJ0"Qπ⊃⊂
πCP0β∪a∧h¬S @ α∪@0α∩`@@↓R`@@α∩@@Hα∩@@P↓R@@Pα∩@@Pα∩@@Pα∩@@Pα∩@@Pα∩@@HαR`@@αR`P0β∪P βS! λα∪A⊂α∪`P ↓U`E8α∃`50α∃@4`BD`↓↓ TXε∪↓$pβ⊃(B λDd2λ∧j _)j8'BiPp&A⊂_↓↓ @_↓@`@⊂&`0_%@`@_%@`@_%@`@_%@`@_%A0_&↓ _&α)P@'α)pH(B
@)` _)` )`0_)`0_)`0_)`0_)`0_% p_↓i _α@` _%↓ 08%C)PP'Aj _)hT ∪π#r∂B U⊂βT!∃α`E↓A 5↓A Dxα↓ Dx↓A@Dx↓A@Dxα↓Txα↓Dxα`Dxα@Txα PPT↓X↓TpXα∀Ph↓S``h↓SAXα∪!⊂X↓S@⊂αB DXα↓@H↓R`@ αA`DPα↓@P(α∩@@8αA4PααP⊂↓R@@@¬∩@P@∧∩`@Hβ∩`P0¬↓ $`
S!@_¬S`pHβ⊃(CxπDCapα↓i0X%βI β↓ 0λ∧A
P *A
P *↓*@ )A
(A
⊂_(↓
_(j_(ip 'A
⊂#A P 'A p 'AλT ∨βb!p
A Dxα∪`Dxα⊃`P0↓∪`Dxα∪`4x↓S`4x↓S@Dp↓S D`αR`TXα∩@DPα∩@DPα∩@@HR`@0α∩ad`ε∪@t("∧@8 D` %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓λT λBa↓` A`Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ DXADP¬∩A∀`β⊃(AHλEβapαA)PH&αi0 αA βA βA βA βA βA β↓ αA) ↓AI ↓A) ↓AI αA) βA βA ∧↓ ∧↓ ∧A ∧A ∧A ∧A ∧A ∧A ∧A ∧↓ βA) ↓B ↓α ↓↓HT
π#q_ A p0β∪↓0_¬∩aPλε∩`@0∧↓TXB p8↓U@P@↓U@PH↓UB∃⊂
SC∀`π∩``(α∩@P8α∩@@@αR@@@αR@@@βα ∀PαAA⊂(↓RaPλεS↓0 ¬∪!@β⊃(AX⊂HB1_βAA⊂0'B@PP'β0`&A` A @(&↓↓@β@i0 ¬↓A_%A↓ 0∧@i ε∧) ε∧) ε∧) ε↓ ε↓ ε↓ 0 ¬↓I0 ¬↓I@ ∧α↓⊂λ&A @(A@P_'β0h'B@`P(AA 0"QβA
Gαq↓V EH↓VEλβ 4xε∪!d`β↓d`α↓ tXα↓@0λα∩`@(α DPα↓@0_α∩@@(α`DPα↓ 0 α∩@@ ↓A DPα`@(α∩@@_↓A@DXα @(α∩`@λ↓A@D`βA D`β↓dhπ∪!Dh↓@ d`α∪4Xα∩`4("π$B(∂πAQ0+¬ja8*A0 *A0 *A0 *↓@ *↓@ )AP )AP )@`` )↓` )↓` (Aq(Aq(@a↓(↓↓ (↓↓ 'A↓⊂ 'D)qλ'∧I` ¬↓ P ¬A P ¬A P_ε↓ @ ε↓ @ ε↓ 0 εDI0 εDI π∧HT ∂
¬"∂B`u⊂∂T$¬β↓"dxαB Tpαα`ThαβT`αβ T`αβ TXαβ@TXαβ@TXαβ`DPα∧DPα∧DPα∧α$Pα∧α$Pα∧α$Pα∧DPα∧DPα∧DPαC`DXαβ`DXαβ@TXαC T`αβ T`αCThαB`Tpαα`Tpβα TxβA"uλ⊂TD¬(βQ(Ax∞H∧2jP8↓A
!(D*0αAIp(∧A)` ¬AIP ¬B @ ε` &↓↓0 ↓↓ 0 ε`@ %A↓0_αA 0 ¬@`P %↓↓0_βA ¬↓p %↓↓ _∧↓ ∧A↓ %↓↓⊂_∧A ∧↓↓⊂ %↓↓_¬↓ βA↓ %↓p_¬A 0 α@a0 %AP_¬A 0 αa@ &↓ ¬A @ ↓a@ &B↓0 '↓A0 'A! (↓@P0'D)q'↓08'hT ⊂A↓⊃p∂DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DX↓⊃`Pα∩@DPα∩@D("∂@H∂¬ %↓ %↓λp(@I %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ "Q∧1x⊃ c`p↓α%@↓α%@↓α%8↓α%8↓α%8↓α%8↓α%8↓α%0↓α%0↓α%0↓α%0↓α%0↓α%(↓α$P∂RCu ↓α% ↓α% ↓α% ↓α%_↓α%_↓α%_↓α%_↓α$P∂RCu⊂↓α%λ↓α%λ↓α%λ↓α%λ↓α%λ↓α%↓α%↓α%↓α%↓α%↓α$x↓α$x↓α$x↓α$(" #r⊂⊃H @ λ@)P0π@I@@ε@I0 ↓↓↓@⊂%A ¬@I0_αa ⊂%↓@ ∧@I α↓↓⊂%↓@ ∧I α↓p⊂%↓@ β@I α↓`⊂%↓@ βI0_α``⊂%A α@I0 ↓↓P⊂&αP⊂&A@`⊂'↓`⊂βA⊂β↓Jp⊂βα
p⊂αA +@` ↓↓
P⊂β↓@ *@@` α↓
@⊂βA@ *@p α↓
0⊂∧↓@ )@A α↓
⊂∧A@ )A⊂ α↓
⊂⊂¬A (A@ ↓↓
⊂εB p⊂πAJλλ↓λT ∪A!H∂ DXα∩`DXα∪ $`↓∪$X↓∩`$P↓Q(B@εβERλ∧@j _(@j_'A p_'iP &A @ &↓ @ %A 0 %A 0 %@i %↓ %↓ %↓ %↓ %↓ %↓ 0_%A 0 %A 0 &↓ @ &↓ P &A `_'@ip (j⊂_)j0_"Q¬⊂`πK$⊂↓R`4`↓S 4hα∪@4x↓S`Dxα∀Eα∀Eλα∀ Eλα∀ E⊂↓T@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@5λα∀ Eλα∀ Eα∀Eα∪`Dxα∪`4p↓S Dh↓S4X↓R@4("
B! H!⊂)j ⊂)I0⊂α@@P⊂%↓@⊂α↓ 0(↓@ (&↓ ⊂⊂A)`P(↓J0'αI@(@@⊂(%A ⊂↓↓) α@@ %@@P⊂α@J ⊂)J _)HT ∃G$↓x
β@%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗$P∞RCU@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊃(B`αB↓⊂_A 0 %A 0 &@I@⊂&I0⊂%@I _"Q¬` ∧`0α∩@DPα∩@D("b↓_⊗λ!pλ,K⊂+@Jp⊂+@J`⊂+J`⊂*@JP⊂*@J@⊂*J@⊂)@J0⊂)@J ⊂)J ⊂(@J⊂⊂(@J⊂(J⊂'@Ip⊂'@I`⊂'I`⊂&@IP⊂&@I@⊂&I@⊂%@I0⊂%@I ⊂%I ⊂"Qπ ∧∧b0α∩@DPα∩@D8εDPα∩@DPα⊃(CXαBβ⊃_A 0 %A 0 #C⊂ %A 0 %A P⊂&I@⊂%@I0⊂%hT ≡G$XλβTP∞Qa∞RCT("⊂β↓X∂πA00)αj⊂h(↓ ` '↓!⊂ '↓↓ (&Ap A @ βαi@ αC 0 αA@0%A@ β↓)0 α↓`(%↓@ ∧↓ α↓↓ %↓@ ∧↓ α↓↓ %↓@ ∧↓ α↓↓ %↓@ ∧↓ 0 α↓` %A@ β↓ 0 αA@ &↓PP&↓`@&Ap '↓ `((↓!((D
h*AhT -Aa2`⊂@tPβR@tPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@tPβR@t("↔ p@⊗λ 8%↓i 8&A P &A P &A P &A P &A P &A P &A P &A P &A P &A P &A P &A P &A P &A P &A P &A P &A P &A P &A P &A 8%↓i 8"Q(∧B#`⊂↓S$`↓∩`$X↓∩@$Pα∩@DPα∩@D("∧A⊂hβπ@ %A @ &A `_'@j_"Qα0H ↓C`(α∪@Dhα∪D`↓R`4P↓Q(A λ∧`a`a _%@a_&``_&A 'α p0(↓λT
CB 8∂0@↓R@0@↓R@@0α∩`00↓R`@ α∪↓$h∧∪`D("¬B↓_↓ε`↓%∧ !"QαpP
↓C`⊂β∩a∧P↓A4P↓A4P↓A4X∧∪d(!@?␈␈x␈@βε?␈␈x{␈␈␈x}`4h↓S4Xα∩`4P↓Q(Bεα`Qλ¬*0&B) P%↓i0⊂"Qa AC`0α∪`dp∧∪ @⊂α∪00↓R`0@↓R@0P↓Q(Exαα1x↓ %↓ "Q∂Pp ↓C`⊂α↓D`α↓DXα↓DXα↓DX↓A 4Pα↓DP↓A 4("∨Aa⊂απ α@i08↓@i0`%`08%`P "Q∂p`λ@cpα↓DPα↓DPα↓DPα↓D("αcA`∂πA⊂8αAj⊂H↓B*P↓αIp ∧↓ p_∧@i` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ h↓B) h↓B) h↓B)` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` ∧↓λT ε¬"Qx∂D E⊂β`Eλβ@`E∧`Dxα∪@Dpα∪@Dpα∪@Dpα∪@DPπ`DPπ`DPπ`Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα D("β"Q(∂πA0↓A
⊂8↓A
@↓A p ∧↓ ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A p↓A p↓A p↓A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧A ` ∧AλT πλ$⊃x∂G E_β↓@P_α∀! β@`E∧Ap_α∪`@Hα∪`0Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∩AP ∧@`DPεA↓⊂_α∩AP ∧@`Dpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α⊃(@x⊂H#ap∧A@`(↓A
⊂@α↓`0 (α @8↓A p ∧Ap '@a⊂ ∧↓ ` ∧A↓ '↓↓⊂ ∧↓ ` ∧A↓ '↓↓⊂ ∧↓ ` ∧A↓ '↓↓⊂ ∧↓ hαα 0 %β @H↓A hαα 0 '↓↓⊂ ∧↓ ` ∧A↓ '↓↓⊂ ∧↓ ` ∧A↓ '↓↓⊂ ∧↓ ` ∧A↓ '↓↓⊂ ∧↓ ` ∧A↓ '↓↓⊂ ∧↓ ` ∧A↓ '↓↓⊂ ∧↓ ` ∧A↓ '↓↓⊂ ∧↓ ` ∧A↓ '↓↓⊂ ∧↓ ` ∧A↓ '↓↓⊂ ∧↓λT ⊃βApH∂ @(α∩`@(α∩`@(α∩`@(α∪ 8↓∪ 8↓∪ 8↓∩` 8↓∩` 8↓∩@00↓Q(Bh¬α` XαI P%αHT .βBPH∂@00↓S 8↓∪ 8↓∩` 8↓∩` 8↓∩@ 8↓∩@@(α∩@@(α∩@@(α∩@@(α⊃(GX¬@ h¬I!0%¬HT >%P⊂ε@¬TP⊗RET(wCm⊗ 2[NFH3~,W⊂⊂⊂iU_){bV_7Y
⊗p3\l6@2[,R*→+α:→/π wCfx7≥fλ1Y,'H:→>0v∂@¬B $i≠xw8↓∨38↓∨38␈␈␈␈hαh␈␈␈␈ αλ{β⊂∧=P¬ε␈0I@hZλ
∨≡`⊂∩↓LP ↓ x⎇@1`αB/⊂αW@{↓βp¬=P¬>←0αH XPJ`∧↑`0⊂@↓>0↓0G⎇@r β→$αm {α∧⊂¬x¬g∨0∧I`e⊂n↑`P⊂@↓>0↓@&⎇A1Xα2{¬{ββ⊂∧4∩@
&?0εF @h%∀j≡`p∩@↓VλzαP∃⎇Ar(β,∨ ¬-p{∧↓0↓{ pπ@O0λC 0⎇`∂}a⊂@↓β@pα84=B18απ∞∧wh{¬αp∧∞≤ r/0
E`@≤8∪k}a0@↓β@pα8h=Bqxα←M⊂∧⎇h{εα@βS` ␈∂0E@8s-∂≥↑aP⊂@↓>0↓py⎇C2 β→$βtP{παp∧∞≤πv∨0∞Jp⊗∞ ⊂ ≡ap⊗@↓␈x|@αM⎇Cr β→$∧⊃P{λ↓0↓{ p
βo0⊂C`(~n ⊂q}b⊂@↓β@pαXO⎇D20β6B∧$λ{ αp∧∞≤π∞/0∩I@hZλ⊃8≡b0⊃@↓G@
↓`w⎇Dph↓∩⊗∧:X{
α β→$λxo0∀D@02H∩
>bP@↓β@pα F=E2 β→$∧MX{↓Pα$, $/0⊗C`(=P∃s↑bpε@Iλ0α(≡⎇Eq8απ∞∧T`{αp∧∞≤ε→o0_E`@≤8Q>c⊂@↓β@p↓HE=F18απ∞β≥X{
αp∧∞≤εF∂0~E`@≤8
$}c0@↓β@p↓Pt=Fq8απ∞β5_{∞αp∧∞≤εrO0≤E`@≤8∞↓>cPε@Iλ0α(V⎇G0h↓∩⊗∧\0{∂↓pαM7⊂λ@O0≡I`e⊂∩z}cp|_x↓ha⎇Gq0↓x?βX⊂{⊂βp¬=P ?O0 G`P}4@λ}d⊂∂@↓/HT@M=H1hαP→⊂X{⊃∧⊂¬xq⊂+O0"GHp_t}d0
↓⊗X8⊂=Hqxα↑h%h{∩∧⊂¬h%0X/0$C Kl@↓O}dP|8@_B=I2αn≤⊂<x{∪β⊂∧=P↓
/0&Jp/2`α%}dp⊂@↓:λ∃@(@=Ir⊂β∧↑8c({∀βP¬!↔⊂↓VO0(H@`∩y`βD>e⊂∂↓*8>8R=J1Pα$,↓↓X{∃βp¬Opα
o0*HX'?@∧,}e0∂@↓/`iH~=Jr`βqc⊂↓≠λ{⊗βp¬?~ αSO0,G`P}4@¬D>eP∞↓ `PX:=K0h↓_qX∧hX{↔αp∧∞≤
{?0.C cF`∪;≡ep@↓β@pα@_⎇Kph↓∩⊗¬∧p{_↓Pα$, i←00E@8s-¬n>f⊂↓πp3@X}=L1 ↓ip↓F({→β∧∨Lpβ∪O02E8'@@εA}f0πP0(h!=Lq8απ∞↓X8{~β∧∨Lpβ=O04B`_vA`π⊗>fPεFλ{@pI=M18α↓↔8↓mx{≠↓0↓{ pβho06I`hπq`πb}fp↓πp3@↓ε=Mq8απ∞αε_{≤β∧∨Lp∧∃o08F@?→`λD}g⊂λYpα↓λ<=N1⊂↓I[pα~h{≥α⊂α|ε∧</0:F@?→` π}g0
@y C@↓⊂:=Nqxαg@8α,({≡αPβe⊂p∧k/0<E 8J!` i>gP
r(t@↓ ∧=O18απ∞¬@P{∨¬`λ≤8α␈0>E`@≤8∀↔>gp@↓β@pα@@=Oq8απ∞¬ H|@α`/`{⎇xow{⎇x